Homomorphism Preserving Algebraic Specifications Require Hidden Sorts

RAPPORT Homomorphism preserving algebraic specifications require hidden

Although every computable data type has an initial algebra speci-cation with hidden functions, it may happen that some of the homo-morphic images of the data type are not models of the speciication. The latter are reducts of algebras that would be models of the specii-cation if all its functions were visible, whereas the homomorphic images of the data type are independent of the speciication an...

The Use of Sorts in Algebraic Specifications

Citations ofthis workshould refer totheProceedings, nottothis preprin t.

Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting

Cryptanalysis of an Algebraic Privacy Homomorphism

Component Based Algebraic Specifications

The rapid adoption of Internet/Intranet technologies has led to an explosive increase in demand for the construction of reliable distributed systems. To meet this important technical challenge, new technologies such as component based software engineering, software architecture[17] and design patterns, attract many software researchers and engineers. Moreover, several standardization activities...